Cyclic multicategories, multivariable adjunctions and mates
نویسندگان
چکیده
منابع مشابه
General Operads and Multicategories
Notions of ‘operad’ and ‘multicategory’ abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad ∗ on a category S , we define the term (S , ∗)multicategory, subject to certain conditions on S and ∗. Different choices of S and ∗ give some of the existing notions. We then describe the algebras for an (S , ∗)-multicategory an...
متن کاملCategories Enriched over a Quantaloid: Isbell Adjunctions and Kan Adjunctions
Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphi...
متن کاملNegation and Involutive Adjunctions
This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction. The notion of involutive adjunction amounts in a precise sense to adjunction where an endofunctor is ad...
متن کاملSelf-Adjunctions and Matrices
It is shown that the multiplicative monoids of Temperley-Lieb algebras are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a category whose arrows are matrices, and the functor adjoint to itself is based on the Kronecker product of matrices. Thereby one obtains a representation of braid groups in matrices, which,...
متن کاملFactorization Systems and Adjunctions
Several results on the translation of factorization systems along adjunctions are proved. The first of these results is the answer to the question posed by G.Janelidze.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of K-Theory
سال: 2014
ISSN: 1865-2433,1865-5394
DOI: 10.1017/is013012007jkt250